Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract
نویسندگان
چکیده
The categorical dualities presented are: (first) for the category of bi-algebraic lattices that belong to variety generated by smallest non-modular lattice with complete (0,1)-lattice homomorphisms as morphisms, and (second) non-trivial (0,1)-lattices belonging same morphisms. Although two categories coincide on their finite objects, essentially differ mostly but not only fact duality second uses topology. Using some known in literature results we prove Q-lattice any is either a 2-element chain or uncountable non-distributive.
منابع مشابه
Dualities for modal N4-lattices
We introduce a new Priestley-style topological duality for N4-lattices, which are the algebraic counterpart of paraconsistent Nelson logic. Our duality differs from the existing one, due to S. Odintsov, in that we only rely on Esakia duality for Heyting algebras and not on the duality for De Morgan algebras of Cornish and Fowler. A major advantage of our approach is that we obtain a simple desc...
متن کاملIdempotents in Dagger Categories: (Extended Abstract)
Dagger compact closed categories were studied by Abramsky and Coecke (under the name “strongly compact closed categories”) as an abstract presentation of the category of Hilbert spaces and linear maps, and as a framework in which to carry out the interpretation of quantum protocols. I subsequently showed that dagger compact closed categories can also describe mixed quantum computation, where th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Section of Logic
سال: 2022
ISSN: ['2449-836X', '0138-0680']
DOI: https://doi.org/10.18778/0138-0680.2022.14